a greased noose used for hanging criminals